TSTP Solution File: SET753^4 by DCTP---1.31